1

综述

在 ES6 之前,ES5 实现面向对象是大家经常讨论的问题,趁着 ES6 还没进入浏览器,借我自己的一段脚本,跟大家讨论一下 js 面向对象的一些细节问题,欢迎留言指教。

例子代码

基本的概念比如“基类”,“子类”等就不解释了。下面是我写的一段实现类继承的 js 脚本:

/**
 * @file Inheritable.js
 * @author Y3G
 * @fileoverview
 * 可继承对象
 */

var _ = require('lodash');
var assert = require('./assert');
var seq = require('./seq');

/**
 * 并联函数
 * @return 生成的函数
 */
var parallel = function () {
    var fns = _.filter(arguments, _.isFunction);

    if (fns.length === 0) return;

    return function () {
        _.forEach(fns, function (fn) {
            fn.apply(this, _.slice(arguments));
        });
    };
}

/**
 * 创建类
 * @param base 基类函数或原型对象
 * @param ex 实例扩展
 * @return 生成的类函数
 *         默认方法:
 *           __init__: 构造函数
 *           __initProto__: 原型构造函数
 *         默认类方法:
 *           makeClass: 创建类
 *           makeSubClass: 创建子类
 */
function makeClass(base, ex) {
    base = base || {};
    ex = ex || {};

    var proto = _.isFunction(base) ? new base(true) : base;

    ex.__init__ = parallel(proto.__init__, ex.__init__); // 实例初始化函数
    ex.__initProto__ = parallel(proto.__initProto__, ex.__initProto__); // 原型初始化函数
    proto = _.mixin(proto, ex); // 合并原型和实例扩展

    function SubClass(isProto) {
        var initFunc = isProto ? this.__initProto__ : this.__init__;
        if (_.isFunction(initFunc)) {
            initFunc.apply(this, _.slice(arguments));
        }
        
        this.$id = seq();
    }

    if (_.isFunction(base)) {
        // 复制静态函数等属性到子类
        _.forOwn(base, function (val, key) {
            SubClass[key] = val;
        });
    }

    SubClass.prototype = proto;
    SubClass.prototype.constructor = SubClass;
    SubClass.makeSubClass = _.curry(makeClass, SubClass);
    SubClass.makeClass = makeClass;

    return SubClass;
}

/**
 * 根基类
 * @class Root
 */
var Root = makeClass();

module.exports = Root;

这段代码导出了一个根基类 Root,它有一个静态方法叫做 makeSubClass,调用可生成一个 Root 的子类,创建出的子类同样带有 makeSubClass 这个静态方法。同时,创建的子类有几个固定字段,分别是:

  • __init__ 初始化函数

  • __initProto__ 原型初始化函数

  • $id 对象 id

通过 parallel 这个函数,makeClass 把基类和子类的 __init__ 函数合并执行,这样解决了基类构造函数无法执行的问题。

下面说说我对几个细节问题的思考。

几个问题和我的看法

:构造函数 __init__ 的执行顺序是基类 -> 子类比较好还是子类 -> 基类比较好?

按照我贴的代码,是基类的构造函数先执行,当时我是想模仿 C++。但是我现在认为应该子类构造函数先执行。

原因很简单,就是 ES6 使用的是类 java 方式, constructor 函数是子类先执行的,并且基类 constructor 是靠
super() 手工调用的。基于一点 java 的使用经验,我也认为这样的构造顺序,比基类 -> 子类灵活不少。另外,采用和 ES6 一样的构造顺序,更有利于移植。

__initProto__ 是什么鬼?

这是我一直以来坚持的看法——用 js 模拟类,如果一个类的实例有可能作为 prototype 存在,就必须把实例构造和 prototype
构造分开,而 __initProto__ 就是专门用来初始化 prototype 的。

原因有两方面:

  • 一是对象可能会很昂贵,占很多资源。

  • 二是构造函数 __init__ 可能不止会操作 this,还可能会修改全局的某些状态(比如计数器)。这种时候多创建一个和少创建一个实例,显然是不同的。

:为什么要把基类函数上的静态内容都拷贝到子类函数上?

因为原型链查找对静态内容无效。

比如这样:

var Foo = Root.makeSubClass({});

Foo.SOME_STATIC_THING = 0;

var Bar = Foo.makeSubClass({});

alert(Bar.SOME_STATIC_THING);

这时候假设不拷贝 SOME_STATIC_THING 到子类上去,就不能通过 Bar.SOME_STATIC_THING 访问到该属性。这是非常违反常识的,没有语言是这样子的。同时,现在又有了另一个这么做的理由,就是 ES6 有 static
关键字,如果你使用其他方式实现静态属性,将不利于以后移植到 ES6。

不过这里有个小坑,就如果静态变量是基本类型(比如字符串),那么显然在子类上修改对基类无效。于是基本类型的静态变量只能是常量,如果需要非常量的静态变量,必须使用对象。


Y3G
458 声望14 粉丝

桌面软件、 web前端、 移动app混合开发、 安防行业技术